A new Paradigm and Meta-Model for Cyber-Physical-Social Systems
نویسندگان
چکیده
منابع مشابه
Optimization and control techniques for cyber-physical systems: a new paradigm
Our research tackles fundamental control problems on complex systems, known as cyber-physical systems, with a particular focus on the rich class known as switching systems. We show that using state-of the art optimization techniques, such as sum-of-squares programming, and taking into account the logical structure of the system, we may obtain powerful control tools for problems which, when aske...
متن کاملMPM4CPS: Multi-Paradigm Modelling for Cyber-Physical Systems
The last decades have seen the emergence of truly complex, designed systems, known as Cyber-Physical Systems (CPS). Engineering such systems requires integrating physical, software, and network aspects. To date, neither a unifying theory nor systematic design methods, techniques and tools exist to meet this challenge. Individual engineering disciplines, such as mechanical, electrical, network a...
متن کاملA Data-Centric Framework for Cyber-Physical-Social Systems
C yber-physical systems (CPSs) enable the physical world to merge with the virtual world by integrating computation and physical processes. A CPS facilitates tight integration between computa tion, communication, and con trol in its operation and interactions with the environment in which it’s deployed. Now, in addition to embracing cyber and physical features, interest is growing in harnessing...
متن کاملStatistical Model Checking for Cyber-Physical Systems
Statistical Model Checking is useful in situations where it is either inconvenient or impossible to build a concise representation of the global transition relation. This happens frequently with cyberphysical systems: Two examples are verifying Stateflow-Simulink models and in reasoning about biochemical reactions in Systems Biology. The main problem with Statistical Model Checking is caused by...
متن کاملMeta-Adaptation Strategies for Adaptation in Cyber-Physical Systems
The dynamic nature of complex Cyber-Physical Systems (CPS) puts extra requirements on their functionality: they not only need to be dependable, but also resilient to and able to adapt to changing situations in their environment. When developing such CPS, however, it is often impossible to anticipate all potential situations upfront and provide corresponding tactics. Situations that lie out of t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IFAC-PapersOnLine
سال: 2020
ISSN: 2405-8963
DOI: 10.1016/j.ifacol.2020.12.2841